Turning the Liar paradox into a metatheorem of Basic logic
نویسنده
چکیده
We show that self-referentiality can be formalized in Basic logic by means of a new connective: @, called "entanglement". In fact, the property of non-idempotence of the connective @ is a metatheorem, which states that a self-referential sentence loses its own identity. This prevents having self-referential paradoxes in the corresponding metalanguage.
منابع مشابه
The Liar Paradox
This essay delivers a serious message on life, at the core of reasoning, to wit, “I am a liar” selfdestructive infests reasoning to undermine it to fill life with oxymora, then proposes a singing way out in music. This essay is naturally divided into three sections: one, how self-destructive the liar paradox is life-ubiquitous; two, the liar paradox as basic to logic and philosophy; and three, ...
متن کاملNonclassical theories of truth
This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is part...
متن کاملNonclassical theories of truth
This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is part...
متن کامل1 TRUTH & TRANSCENDENCE : Turning the Tables on the Liar Paradox
I. A Methodological Turnaround. Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. As soon as the truth theorist accepts one of the most minimal principles of truth, the equivalence principle, which in one of its forms is often formulated (schematically) by (E) is true iff (if and only if) P, where “P” stands for any sentence and “” stands...
متن کاملIPM-Isfahan workshop on Various Aspects of Modality
Paradoxes are amazing puzzles in philosophy (and mathematics), and they can be interesting when turned into proofs and theorems (in mathematics and logic). For example, Russell's paradox, which collapsed Frege's foundations of mathematics, is now a classical theorem in set theory, and implies that no set of all sets can exist. Or, as another example, the Liar paradox has turned into Tarski's th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/quant-ph/0701171 شماره
صفحات -
تاریخ انتشار 2007